大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 International Workshop 的图书(共9435本)

Mathematics of Program Construction [electronic resource] : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

0
索取号:
作者:Audebaud、 Philippe.、Paulin-Mohring、 Christine.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Rewriting Techniques and Applications [electronic resource] : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

0
索取号:
作者:Voronkov、 Andrei.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Resilient Networks and Services [electronic resource] : Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008 Bremen, Germany, July 1-3, 2008 Proceedings

0
索取号:
作者:Hausheer、 David.、Sch枚nw盲lder、 J眉rgen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

0
索取号:
作者:Aceto、 Luca.、Damg氓rd、 Ivan.、Goldberg、 Leslie Ann.、Halld贸rsson、 Magn煤s M.、Ing贸lfsd贸ttir、 Anna.、Walukiewicz、 Igor.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

0
索取号:
作者:Aceto、 Luca.、Damg氓rd、 Ivan.、Goldberg、 Leslie Ann.、Halld贸rsson、 Magn煤s M.、Ing贸lfsd贸ttir、 Anna.、Walukiewicz、 Igor.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Interactive Systems. Design, Specification, and Verification [electronic resource] : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

0
索取号:
作者:Graham、 T. C. Nicholas.、Palanque、 Philippe.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings

0
索取号:
作者:Berekovi膰、 Mladen.、Dimopoulos、 Nikitas.、Wong、 Stephan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computer Aided Verification [electronic resource] : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

0
索取号:
作者:Gupta、 Aarti.、Malik、 Sharad.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 5th International Conference, DIMVA 2008, Paris, France, July 10-11, 2008. Proceedings

0
索取号:
作者:Zamboni、 Diego.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computers Helping People with Special Needs [electronic resource] : 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008. Proceedings

0
索取号:
作者:Miesenberger、 Klaus.、Klaus、 Joachim.、Zagler、 Wolfgang.、Karshmer、 Arthur.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Digital Mammography [electronic resource] : 9th International Workshop, IWDM 2008 Tucson, AZ, USA, July 20-23, 2008 Proceedings

0
索取号:
作者:Krupinski、 Elizabeth A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

International Human Right to Conscientious Objection to Military Service and Individual Duties to Disobey Manifestly Illegal Orders [electronic resource]

0
索取号:
作者:Takemura、 Hitomi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Deontic Logic in Computer Science [electronic resource] : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings

0
索取号:
作者:Meyden、 Ron.、Torre、 Leendert.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Biomedical Simulation [electronic resource] : 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008 Proceedings

0
索取号:
作者:Bello、 Fernando.、Edwards、 P. J. Eddie.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Articulated Motion and Deformable Objects [electronic resource] : 5th International Conference, AMDO 2008, Port d鈥橝ndratx, Mallorca, Spain, July 9-11, 2008. Proceedings

0
索取号:
作者:Perales、 Francisco J.、Fisher、 Robert B.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Operations Research Proceedings 2006 [electronic resource] : Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Jointly Organized with the Austrian Society of Operations Research (脰GOR) and the Swiss Society of Operations Research (SVOR) Karlsruhe, September 6鈥謠2006

0
索取号:
作者:Waldmann、 Karl-Heinz.、Stocker、 Ulrike M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
最近添加的分类